-
1 теория доказательств
теория доказательств
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > теория доказательств
-
2 теория доказательств
Русско-английский большой базовый словарь > теория доказательств
-
3 теория доказательств
Information technology: proof theoryУниверсальный русско-английский словарь > теория доказательств
-
4 теория доказательств
nlaw. BeweistheorieУниверсальный русско-немецкий словарь > теория доказательств
-
5 теория доказательств
Русско-французский политехнический словарь > теория доказательств
-
6 теория доказательств
nDictionnaire russe-français universel > теория доказательств
-
7 теория доказательств
Русско-английский словарь по электронике > теория доказательств
-
8 теория доказательств
-
9 теория доказательств
Русско-английский словарь по радиоэлектронике > теория доказательств
-
10 теория доказательств
Русско-английский словарь по вычислительной технике и программированию > теория доказательств
-
11 теория доказательств
Русско-английский научно-технический словарь Масловского > теория доказательств
-
12 теория относимости
( доказательств) Relevanztheorie -
13 теория относимости
n -
14 доказательств теория
Русско-белорусский математический словарь > доказательств теория
-
15 доказательство
с. proofСинонимический ряд:свидетельство (сущ.) подтверждение; свидетельство; указаниеАнтонимический ряд: -
16 схема доказательства
-
17 формальное доказательство
Русско-английский научный словарь > формальное доказательство
-
18 приводит доказательства
Русско-английский военно-политический словарь > приводит доказательства
-
19 приводивший доказательства
Русско-английский военно-политический словарь > приводивший доказательства
-
20 приводящий доказательства
Русско-английский военно-политический словарь > приводящий доказательства
- 1
- 2
См. также в других словарях:
Теория доказательств — Теория доказательств это раздел математической логики, представляющий доказательства в виде формальных математических объектов, осуществляя их анализ с помощью математических методов. Доказательства обычно представляются в виде индуктивно… … Википедия
теория доказательств — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN proof theory … Справочник технического переводчика
Математическая теория доказательств — Теория доказательств (англ. proof theory) раздел математической логики, в котором феномен математического доказательства сам становится объектом, например алгебры или арифметики. Доказательство обычно представляют как индуктивно возникающие… … Википедия
Формальная теория доказательств — Формальная теория доказательств один из вариантов устройства норм об оценке доказательств в судебном процессе. В уголовном процессе его сущность состоит в том, что для признания преступления совершённым и вины подсудимого доказанной суд… … Википедия
ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — ДОКАЗАТЕЛЬСТВ ТЕОРИЯ раздел современной математической логики, изучающий свойства и преобразования формальных доказательств, т. е. формальных объектов, синтаксическая правильность которых гарантирует семантическую. Это определение унифицирует … Философская энциклопедия
ТЕОРИЯ — (от греч. theoria рассмотрение, исследование) совокупность высказываний, замкнутых относительно логического следования. Такое предельно общее и наиболее абстрактное определение Т. дает логика. С логической т.зр. теорией можно назвать любое… … Философская энциклопедия
Теория струн — Теория суперструн Теория … Википедия
Теория зависимости — или Теория зависимого развития теория в области смежных социальных наук, в основании которой лежит утверждение о том, что экономическая отсталость и политическая нестабильность слаборазвитых, развивающихся стран является результатом их интеграции … Википедия
Теория катастроф (Арнольд) — Теория катастроф книга, написанная В.И. Арнольдом в 1990 (3 е издание, первый неполный вариант книги вышел еще в начале 1980 х) и посвященная изложению теории катастроф. Содержание 1 Структура 2 Содержание … Википедия
Теория неожидаемой полезности — (англ. Nonexpected Utility Theory) теория, согласно которой вероятности входят нелинейным образом в функцию полезности. Несмотря на широту применения, теория ожидаемой полезности и теория субъективной ожидаемой полезности многократно… … Википедия
Теория естественного права — Теория естественного права право у человека возникает от рождения и природы, который обладает неотъемлемыми естественными правами (право на жизнь, свободу, равенство), которые нельзя отменить, изменить. Законы соответствуют нравственным… … Википедия